2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35)
Walter Carnielli
,
Marcelo Coniglio
,
Dov M. Gabbay
,
Paula Gouveia
,
Cristina Sernadas
Категория:
Математика
,
Прикладная математика
3.91 Mb
#2
Paraconsistency: The Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics)
Walter A. Carnielli
,
Marcelo E. Coniglio
Категория:
Математика
35.76 Mb
#3
Analysis and synthesis of logics: how to cut and paste reasoning systems
Walter Carnielli
,
Marcelo Coniglio
,
Dov M. Gabbay
,
Paula Gouveia
,
Cristina Sernadas
5.14 Mb
#4
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
Walter Carnielli
,
Marcelo Coniglio
,
Dov M. Gabbay
,
Paula Gouveia
,
Cristina Sernadas
5.26 Mb
#5
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic)
Walter Carnielli
,
Marcelo Coniglio
,
Dov M. Gabbay
,
Paula Gouveia
,
Cristina Sernadas
6.03 Mb